True Coverage: A Goal of Verification
نویسندگان
چکیده
There are a number of RTL coverage tools on the market today that essentially tells you only that a set of signals has been toggled by a particular diagnostic test. This is useful in showing what areas of the RTL design are definitely not covered by the diagnostic test but tells you very little about the set of signals that have been toggled. In an extreme case a diagnostic test may fail to fail when any one of these signals are in error. The following is a strategy for examining the coverage indicated by a commercial coverage testing software package and obtaining a truer picture of a diagnostic test's real coverage. This concept is extended to a full regression test suite.
منابع مشابه
Sanity Checks in Formal Verification
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the specification in the system. On the other hand, when the answer to the correctness query is positive, most model-checking tools provide no additional information. In the last few years there has been growing awarenes...
متن کاملMetrics in SoC Verification Not just for coverage anymore
Process metrics provide a clear, quantitative and objective measure to assess process performance and progress towards a specific process goal. SoC functional verification involves integrating multiple IP blocks. So understanding how to define, measure, correlate, and analyze appropriate IP and system-level metrics is fundamental to improving performance and achieving quality goals. Yet, many o...
متن کاملCombinatorial Model-Based Test Program Generation for Microprocessors
In this paper we describe a method of automated test program generation intended for systematic functional verification of microprocessors. The method supplements such widely-spread practical approaches as software-based verification and random generation. In our method, construction of test programs is based on microprocessor model, which includes structural model and instruction set model. Th...
متن کاملVERIFICATION PLANNING TO FUNCTIONAL CLOSURE OF PROCESSOR-BASED SoCs
Functional verification consumes more than 70% of the labor invested in today’s SoC designs. Yet, even with such a large investment in verification, there’s more risk of functional failure at tapeout than ever before. The primary reason is that the design team does not know where they are, in terms of functional correctness, relative to the tapeout goal. They lack a functional verification map ...
متن کاملCoherence for OpenSPARC T 2 Multi - processor Systems
ZHANG, XU. Verification Strategy of Cache Coherence for OpenSPARC T2 Multiprocessor Systems (Under the direction of Dr. Rhett Davis). A general procedure of verification is presented. Problems associated with verification of cache coherence are presented. Solutions of these problems are presented. More specifically, a global finite state machine approach of defining coverage is presented. A sti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003